Symbolic execution

Results: 153



#Item
121Loop-Extended Symbolic Execution on Binary Programs Prateek Saxena Pongsin Poosankam† Stephen McCamant Dawn Song University of California, Berkeley and † Carnegie Mellon University

Loop-Extended Symbolic Execution on Binary Programs Prateek Saxena Pongsin Poosankam† Stephen McCamant Dawn Song University of California, Berkeley and † Carnegie Mellon University

Add to Reading List

Source URL: www.andrew.cmu.edu

Language: English - Date: 2013-09-09 05:44:56
122Enhancing Symbolic Execution with Veritesting Thanassis Avgerinos, Alexandre Rebert, Sang Kil Cha, and David Brumley Carnegie Mellon University {thanassis, alexandre, sangkilc, dbrumley}@cmu.edu

Enhancing Symbolic Execution with Veritesting Thanassis Avgerinos, Alexandre Rebert, Sang Kil Cha, and David Brumley Carnegie Mellon University {thanassis, alexandre, sangkilc, dbrumley}@cmu.edu

Add to Reading List

Source URL: users.ece.cmu.edu

Language: English - Date: 2014-03-17 03:36:49
123Unleashing M AYHEM on Binary Code Sang Kil Cha, Thanassis Avgerinos, Alexandre Rebert and David Brumley Carnegie Mellon University Pittsburgh, PA {sangkilc, thanassis, alexandre.rebert, dbrumley}@cmu.edu

Unleashing M AYHEM on Binary Code Sang Kil Cha, Thanassis Avgerinos, Alexandre Rebert and David Brumley Carnegie Mellon University Pittsburgh, PA {sangkilc, thanassis, alexandre.rebert, dbrumley}@cmu.edu

Add to Reading List

Source URL: users.ece.cmu.edu

Language: English - Date: 2014-02-15 14:07:11
124Dynamic Test Generation To Find Integer Bugs in x86 Binary Linux Programs David Molnar UC Berkeley Xue Cong Li

Dynamic Test Generation To Find Integer Bugs in x86 Binary Linux Programs David Molnar UC Berkeley Xue Cong Li

Add to Reading List

Source URL: www.cs.berkeley.edu

Language: English - Date: 2015-01-21 19:48:40
125Instrumentation and Measurement Technology Conference - IMTC 2007 Warsaw, Poland, May 1-3, 2007 Symbolic Computation for Evaluation of Measurement Uncertainty Peng Wei, Qing Ping Yang, Mohd Rizal Salleh, Barry Jones

Instrumentation and Measurement Technology Conference - IMTC 2007 Warsaw, Poland, May 1-3, 2007 Symbolic Computation for Evaluation of Measurement Uncertainty Peng Wei, Qing Ping Yang, Mohd Rizal Salleh, Barry Jones

Add to Reading List

Source URL: bura.brunel.ac.uk

Language: English - Date: 2014-11-01 07:53:41
126Automated Whitebox Fuzz Testing Patrice Godefroid Microsoft (Research) [removed] Michael Y. Levin

Automated Whitebox Fuzz Testing Patrice Godefroid Microsoft (Research) [removed] Michael Y. Levin

Add to Reading List

Source URL: research.microsoft.com

Language: English - Date: 2008-01-04 20:00:25
127c Copyright 2014 Tom Bergan Avoiding State-Space Explosion in Multithreaded Programs with

c Copyright 2014 Tom Bergan Avoiding State-Space Explosion in Multithreaded Programs with

Add to Reading List

Source URL: homes.cs.washington.edu

Language: English - Date: 2014-03-11 15:06:20
128Partial Replay of Long-Running Applications Alvin Cheung, Armando Solar-Lezama, and Samuel Madden MIT CSAIL {akcheung, asolar, madden}@csail.mit.edu

Partial Replay of Long-Running Applications Alvin Cheung, Armando Solar-Lezama, and Samuel Madden MIT CSAIL {akcheung, asolar, madden}@csail.mit.edu

Add to Reading List

Source URL: db.csail.mit.edu

Language: English - Date: 2011-08-15 13:47:43
129LNCS[removed]ExpliSAT: Guiding SAT-Based Software Verification with Explicit States

LNCS[removed]ExpliSAT: Guiding SAT-Based Software Verification with Explicit States

Add to Reading List

Source URL: www.kroening.com

Language: English - Date: 2014-05-11 10:56:05
130Growing Solver-Aided Languages with ROSETTE Emina Torlak Rastislav Bodik U.C. Berkeley

Growing Solver-Aided Languages with ROSETTE Emina Torlak Rastislav Bodik U.C. Berkeley

Add to Reading List

Source URL: homes.cs.washington.edu

Language: English - Date: 2014-08-13 19:26:58